lib/texinputs/isabellesym.sty
changeset 70368 b67737bc5bd1
parent 70015 c8e08d8ffb93
child 70369 6c65447b8a64
equal deleted inserted replaced
70364:b2bedb022a75 70368:b67737bc5bd1
   361 \newcommand{\isasymbind}{\isamath{\mathbin{>\!\!\!>\mkern-6.7mu=}}}
   361 \newcommand{\isasymbind}{\isamath{\mathbin{>\!\!\!>\mkern-6.7mu=}}}
   362 \newcommand{\isasymthen}{\isamath{\mathbin{>\!\!\!>}}}
   362 \newcommand{\isasymthen}{\isamath{\mathbin{>\!\!\!>}}}
   363 \newcommand{\isasymopen}{\isatext{\raise.3ex\hbox{$\scriptscriptstyle\langle$}}}
   363 \newcommand{\isasymopen}{\isatext{\raise.3ex\hbox{$\scriptscriptstyle\langle$}}}
   364 \newcommand{\isasymclose}{\isatext{\raise.3ex\hbox{$\scriptscriptstyle\rangle$}}}
   364 \newcommand{\isasymclose}{\isatext{\raise.3ex\hbox{$\scriptscriptstyle\rangle$}}}
   365 \newcommand{\isasymhole}{\isatext{\normalfont\rmfamily\wasylozenge}}  %requires wasysym
   365 \newcommand{\isasymhole}{\isatext{\normalfont\rmfamily\wasylozenge}}  %requires wasysym
       
   366 \newcommand{\isasymsqdot}{\isamath{\sbox\z@{$\centerdot$}\ht\z@=.33333\ht\z@\vcenter{\box\z@}}}  %requires amssymb
   366 \newcommand{\isasymnewline}{\isatext{\fbox{$\hookleftarrow$}}}
   367 \newcommand{\isasymnewline}{\isatext{\fbox{$\hookleftarrow$}}}
   367 \newcommand{\isasymcomment}{\isatext{\isastylecmt---}}
   368 \newcommand{\isasymcomment}{\isatext{\isastylecmt---}}
   368 \newcommand{\isasymproof}{\isamath{\,\langle\mathit{proof}\rangle}}
   369 \newcommand{\isasymproof}{\isamath{\,\langle\mathit{proof}\rangle}}
   369 
   370 
   370 \newcommand{\isactrlmarker}{\isatext{\ding{48}}}  %requires pifont
   371 \newcommand{\isactrlmarker}{\isatext{\ding{48}}}  %requires pifont