equal
deleted
inserted
replaced
207 \newcommand{\isasymexists}{\isamath{\exists\,}} |
207 \newcommand{\isasymexists}{\isamath{\exists\,}} |
208 \newcommand{\isasymbox}{\isamath{\Box}} %requires latexsym |
208 \newcommand{\isasymbox}{\isamath{\Box}} %requires latexsym |
209 \newcommand{\isasymdiamond}{\isamath{\Diamond}} %requires latexsym |
209 \newcommand{\isasymdiamond}{\isamath{\Diamond}} %requires latexsym |
210 \newcommand{\isasymturnstile}{\isamath{\vdash}} |
210 \newcommand{\isasymturnstile}{\isamath{\vdash}} |
211 \newcommand{\isasymTurnstile}{\isamath{\models}} |
211 \newcommand{\isasymTurnstile}{\isamath{\models}} |
|
212 \newcommand{\isasymtturnstile}{\isamath{\vdash\!\!\vdash}} |
|
213 \newcommand{\isasymtturnstile}{\isamath{\mid\models}} |
212 \newcommand{\isasymstileturn}{\isamath{\dashv}} |
214 \newcommand{\isasymstileturn}{\isamath{\dashv}} |
213 \newcommand{\isasymsurd}{\isamath{\surd}} |
215 \newcommand{\isasymsurd}{\isamath{\surd}} |
214 \newcommand{\isasymle}{\isamath{\le}} |
216 \newcommand{\isasymle}{\isamath{\le}} |
215 \newcommand{\isasymge}{\isamath{\ge}} |
217 \newcommand{\isasymge}{\isamath{\ge}} |
216 \newcommand{\isasymlless}{\isamath{\ll}} |
218 \newcommand{\isasymlless}{\isamath{\ll}} |
335 \newcommand{\isasymspacespace}{\isamath{~~}} |
337 \newcommand{\isasymspacespace}{\isamath{~~}} |
336 \newcommand{\isasymacute}{\isatext{\'\relax}} |
338 \newcommand{\isasymacute}{\isatext{\'\relax}} |
337 \newcommand{\isasymdieresis}{\isatext{\"\relax}} |
339 \newcommand{\isasymdieresis}{\isatext{\"\relax}} |
338 \newcommand{\isasymcedilla}{\isatext{\c\relax}} |
340 \newcommand{\isasymcedilla}{\isatext{\c\relax}} |
339 \newcommand{\isasymhungarumlaut}{\isatext{\H\relax}} |
341 \newcommand{\isasymhungarumlaut}{\isatext{\H\relax}} |
340 |
|