I recently had occasion to use the Peirce arrow, NOR (↓), in LaTeX! But I wanted to use Peirce’s notation from 1902. This takes the form of the symbol for strict implication, `⥽`

, turned 270 degrees so that the arrow’s head faces down, like so: `⥿`

. I was helped in typesetting this by Richard Zach’s helpful post. I have worked on *Principia* quite a bit, and I have needed to make *ad hoc* commands to rotate letters and other symbols to match the logical symbols used there. So I thought to share my work in case it saves others some time! I will update this as I devise further *ad hoc* commands.

All this requires is the package graphicx. With it, you can then use the command \text{\rotatebox[origin=c]{[DEGREES]}{[TEXT]}}. The reason for the \text{…} on the outside is to avoid conflicts in math mode and similar environments.

With that ado, here is LaTeX code I use for:

- \Runi for the universal set, V (an upside-down Lambda):

\newcommand{\Runi}{\text{\rotatebox[origin=c]{180}{$\Lambda$}}} - \Dom for the domain, D’, of a relation:

\newcommand{\Dom}{$\text{D}`$} - \CDom for the converse domain of a relation (a ‘D’ rotated 180 degrees):

\newcommand{\CDom}{\text{\rotatebox[origin=c]{180}{$\text{D}`$}}} - \Parrow for the Peirce arrow NOR in Peirce’s 1902 notation (
`⥿`

):

\newcommand{\Parrow}{\text{\rotatebox[origin=c]{270}{$\strictif$}}}

No doubt there will be more to come!