3

I'm looking for a symbol like \propto but rotated 180 degrees (or even better, a symbol like the pink ribbon rotated in -90 degrees) but can't find it anywhere.

Im looking for somthing similar to the following picture:

propto rotated 180 degrees

(again, if it resembles the pink ribbon rotated moreso than an chopped infinity, it's better but anything of this form will do). How could I make one such symbol?

2 Answers 2

3

You can use commands from the package graphicx to do the rotation.

\documentclass{article}
\usepackage{graphicx}

\newcommand{\proptoinverse}{\mathrel{\mskip1mu\reflectbox{$\propto$}\mskip-1mu}}

\begin{document}

$A \propto B$

$A \proptoinverse B$

\end{document}

enter image description here

4
  • 1
    1) \propto is \mathrel, not \mathbin, check its definition in latex2e, fontdef.dtx. 2) graphicx has a \reflectbox{<text>} that does x-axis reflection and can be seen as an abbreviation for both \rotatebox[origin=c]{180}{<text>} and \scalebox{-1}[1]{<text>}. Commented May 26, 2022 at 1:31
  • @muzimuzhiZ Thank you, fixed!
    – Jinwen
    Commented May 26, 2022 at 1:34
  • Sorry but what's \mskip1mu for? It seemed to me now $A \proptoinverse B$ is 1mu wider than $A \propto B$. Commented May 26, 2022 at 1:39
  • 1
    @muzimuzhiZ Compared with \propto, the rotated version seems a little bit to the left, so I added \mskip1mu for adjustment. I thought \mskip-1mu should be able to correct this.
    – Jinwen
    Commented May 26, 2022 at 1:45
3

Certainly not supported by all fonts, but Unicode actually does have a “Reminder Ribbon“ (U+1F397) character: 🎗

Try this (compiled with LuaLaTeX):

\documentclass{article}
\usepackage{fontspec}
\usepackage{graphicx,xcolor}

\setmainfont{Noto Sans}
\newfontfamily{\emojifont}{NotoEmoji-Regular.ttf}   
% Get it here: https://fonts.google.com/noto/specimen/Noto+Emoji

\begin{document}
\begin{center}

    \Large Behold my regular ribbon … \newline
    \fontsize{65}{80}\selectfont    % U+1F397   REMINDER RIBBON
    {\emojifont\symbol{"1F397}}

    \Large … and my newly rotated pink ribbon! \newline
    \fontsize{65}{80}\selectfont    % U+1F397   REMINDER RIBBON
    \vspace{-5cm}\par
    \rotatebox{270}{\emojifont\color{pink}{\symbol{"1F397}}}

\end{center}
\end{document}
2
  • I don't think this answers the question OP wanted 180 not 90 degree rotation, for the opposite relation,like < relates to> Commented May 26, 2022 at 13:15
  • 1
    He wanted 180° for sure, but 🎗already has a 90° difference that must be made up for. Either way, correcting the rotation should be trivial.
    – Ingmar
    Commented May 26, 2022 at 13:23

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .