2

Here is how to define \strictif as the strict conditional ⥽ from modal logic.

\documentclass{article}
\usepackage{lipsum}
\usepackage{pxfonts}
\DeclareSymbolFont{symbolsC}{U}{txsyc}{m}{n}
\DeclareMathSymbol{\strictif}{\mathrel}{symbolsC}{74}
\begin{document}

\lipsum[11]
$$p \strictif q$$

\end{document}

example

I'm not happy with this solution, however, because loading package pxfonts changes the default fonts of my document. Is there a way to define \strictif so that I can access only the ⥽ symbol from that font without changing the default fonts of my document?

3
  • 1
    Off-topic: Don't use $$...$$. Use \[...\] instead
    – user31729
    Oct 4, 2015 at 11:35
  • 3
    Have you tried removing \usepackage{pxfonts}?
    – user11232
    Oct 4, 2015 at 11:43
  • 2
    You're importing the symbol already with \Declare.... macros
    – user31729
    Oct 4, 2015 at 11:49

1 Answer 1

5

As others have pointed out in the comments, you don't actually need the \usepackage{pxfonts} line; if you remove it, your font goes back to Computer Modern.

\documentclass{article}
\usepackage{lipsum}
\DeclareSymbolFont{symbolsC}{U}{txsyc}{m}{n}
\DeclareMathSymbol{\strictif}{\mathrel}{symbolsC}{74}
\begin{document}

\lipsum[11]
\[p \strictif q\]

\end{document}

enter image description here

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.