lib/texinputs/isabellesym.sty
changeset 70372 b5da5172d4e3
parent 70371 3f9d03571eaa
child 71881 71de0a253842
equal deleted inserted replaced
70371:3f9d03571eaa 70372:b5da5172d4e3
   280 \newcommand{\isasymsucc}{\isamath{\succ}}
   280 \newcommand{\isasymsucc}{\isamath{\succ}}
   281 \newcommand{\isasympreceq}{\isamath{\preceq}}
   281 \newcommand{\isasympreceq}{\isamath{\preceq}}
   282 \newcommand{\isasymsucceq}{\isamath{\succeq}}
   282 \newcommand{\isasymsucceq}{\isamath{\succeq}}
   283 \newcommand{\isasymparallel}{\isamath{\parallel}}
   283 \newcommand{\isasymparallel}{\isamath{\parallel}}
   284 \newcommand{\isasymbar}{\isamath{\mid}}
   284 \newcommand{\isasymbar}{\isamath{\mid}}
   285 \newcommand{\isasymbbar}{\isamath{[\!]}}
   285 \newcommand{\isasymbbar}{\isamath{[\mskip-1.5mu]}}
   286 \newcommand{\isasymplusminus}{\isamath{\pm}}
   286 \newcommand{\isasymplusminus}{\isamath{\pm}}
   287 \newcommand{\isasymminusplus}{\isamath{\mp}}
   287 \newcommand{\isasymminusplus}{\isamath{\mp}}
   288 \newcommand{\isasymtimes}{\isamath{\times}}
   288 \newcommand{\isasymtimes}{\isamath{\times}}
   289 \newcommand{\isasymdiv}{\isamath{\div}}
   289 \newcommand{\isasymdiv}{\isamath{\div}}
   290 \newcommand{\isasymcdot}{\isamath{\cdot}}
   290 \newcommand{\isasymcdot}{\isamath{\cdot}}