lib/texinputs/isabellesym.sty
changeset 70369 6c65447b8a64
parent 70368 b67737bc5bd1
child 70370 ab40ff2fdc67
equal deleted inserted replaced
70368:b67737bc5bd1 70369:6c65447b8a64
   278 \newcommand{\isasymsucc}{\isamath{\succ}}
   278 \newcommand{\isasymsucc}{\isamath{\succ}}
   279 \newcommand{\isasympreceq}{\isamath{\preceq}}
   279 \newcommand{\isasympreceq}{\isamath{\preceq}}
   280 \newcommand{\isasymsucceq}{\isamath{\succeq}}
   280 \newcommand{\isasymsucceq}{\isamath{\succeq}}
   281 \newcommand{\isasymparallel}{\isamath{\parallel}}
   281 \newcommand{\isasymparallel}{\isamath{\parallel}}
   282 \newcommand{\isasymbar}{\isamath{\mid}}
   282 \newcommand{\isasymbar}{\isamath{\mid}}
       
   283 \newcommand{\isasymbbar}{\isamath{[\!]}}
   283 \newcommand{\isasymplusminus}{\isamath{\pm}}
   284 \newcommand{\isasymplusminus}{\isamath{\pm}}
   284 \newcommand{\isasymminusplus}{\isamath{\mp}}
   285 \newcommand{\isasymminusplus}{\isamath{\mp}}
   285 \newcommand{\isasymtimes}{\isamath{\times}}
   286 \newcommand{\isasymtimes}{\isamath{\times}}
   286 \newcommand{\isasymdiv}{\isamath{\div}}
   287 \newcommand{\isasymdiv}{\isamath{\div}}
   287 \newcommand{\isasymcdot}{\isamath{\cdot}}
   288 \newcommand{\isasymcdot}{\isamath{\cdot}}