lib/texinputs/isabellesym.sty
author wenzelm
Sat, 03 Jun 2000 23:59:37 +0200
changeset 9032 ad0b9f048bbf
parent 8694 c1d0cc81f06c
child 9682 00f8be1b7209
permissions -rw-r--r--
block commands: marginal comment;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
7979
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
     1
%%
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
     2
%% $Id$
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
     3
%%
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
     4
%% definitions of many Isabelle symbols
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
     5
%%
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
     6
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
     7
\usepackage{latexsym}
8147
b712b870a5d1 *** empty log message ***
oheimb
parents: 7979
diff changeset
     8
%\usepackage[latin1]{inputenc}
7979
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
     9
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
    10
\newcommand{\bigsqcap}{\overline{|\,\,|}}  %just a hack
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
    11
%\def\textbrokenbar??? etc
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
    12
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
    13
\newcommand{\isasymspacespace}{~~}
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
    14
\newcommand{\isasymGamma}{$\Gamma$}
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
    15
\newcommand{\isasymDelta}{$\Delta$}
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
    16
\newcommand{\isasymTheta}{$\Theta$}
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
    17
\newcommand{\isasymLambda}{$\Lambda$}
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
    18
\newcommand{\isasymPi}{$\Pi$}
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
    19
\newcommand{\isasymSigma}{$\Sigma$}
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
    20
\newcommand{\isasymPhi}{$\Phi$}
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
    21
\newcommand{\isasymPsi}{$\Psi$}
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
    22
\newcommand{\isasymOmega}{$\Omega$}
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
    23
\newcommand{\isasymalpha}{$\alpha$}
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
    24
\newcommand{\isasymbeta}{$\beta$}
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
    25
\newcommand{\isasymgamma}{$\gamma$}
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
    26
\newcommand{\isasymdelta}{$\delta$}
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
    27
\newcommand{\isasymepsilon}{$\varepsilon$}
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
    28
\newcommand{\isasymzeta}{$\zeta$}
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
    29
\newcommand{\isasymeta}{$\eta$}
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
    30
\newcommand{\isasymtheta}{$\vartheta$}
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
    31
\newcommand{\isasymkappa}{$\kappa$}
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
    32
\newcommand{\isasymlambda}{$\lambda$}
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
    33
\newcommand{\isasymmu}{$\mu$}
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
    34
\newcommand{\isasymnu}{$\nu$}
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
    35
\newcommand{\isasymxi}{$\xi$}
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
    36
\newcommand{\isasympi}{$\pi$}
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
    37
\newcommand{\isasymrho}{$\rho$}
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
    38
\newcommand{\isasymsigma}{$\sigma$}
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
    39
\newcommand{\isasymtau}{$\tau$}
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
    40
\newcommand{\isasymphi}{$\varphi$}
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
    41
\newcommand{\isasymchi}{$\chi$}
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
    42
\newcommand{\isasympsi}{$\psi$}
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
    43
\newcommand{\isasymomega}{$\omega$}
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
    44
\newcommand{\isasymnot}{\emph{$\neg$}}
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
    45
\newcommand{\isasymand}{\emph{$\wedge$}}
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
    46
\newcommand{\isasymor}{\emph{$\vee$}}
8188
7a4445000fc2 tuned syms;
wenzelm
parents: 8147
diff changeset
    47
\newcommand{\isasymforall}{\emph{$\forall\,$}}
7a4445000fc2 tuned syms;
wenzelm
parents: 8147
diff changeset
    48
\newcommand{\isasymexists}{\emph{$\exists\,$}}
7a4445000fc2 tuned syms;
wenzelm
parents: 8147
diff changeset
    49
\newcommand{\isasymAnd}{\emph{$\bigwedge\,$}}
7979
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
    50
\newcommand{\isasymlceil}{\emph{$\lceil$}}
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
    51
\newcommand{\isasymrceil}{\emph{$\rceil$}}
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
    52
\newcommand{\isasymlfloor}{\emph{$\lfloor$}}
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
    53
\newcommand{\isasymrfloor}{\emph{$\rfloor$}}
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
    54
\newcommand{\isasymturnstile}{\emph{$\vdash$}}
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
    55
\newcommand{\isasymTurnstile}{\emph{$\models$}}
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
    56
\newcommand{\isasymlbrakk}{\emph{$\mathopen{\lbrack\mkern-3mu\lbrack}$}}
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
    57
\newcommand{\isasymrbrakk}{\emph{$\mathclose{\rbrack\mkern-3mu\rbrack}$}}
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
    58
\newcommand{\isasymcdot}{\emph{$\cdot$}}
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
    59
\newcommand{\isasymin}{\emph{$\in$}}
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
    60
\newcommand{\isasymsubseteq}{\emph{$\subseteq$}}
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
    61
\newcommand{\isasyminter}{\emph{$\cap$}}
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
    62
\newcommand{\isasymunion}{\emph{$\cup$}}
8188
7a4445000fc2 tuned syms;
wenzelm
parents: 8147
diff changeset
    63
\newcommand{\isasymInter}{\emph{$\bigcap\,$}}
7a4445000fc2 tuned syms;
wenzelm
parents: 8147
diff changeset
    64
\newcommand{\isasymUnion}{\emph{$\bigcup\,$}}
7979
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
    65
\newcommand{\isasymsqinter}{\emph{$\sqcap$}}
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
    66
\newcommand{\isasymsqunion}{\emph{$\sqcup$}}
8188
7a4445000fc2 tuned syms;
wenzelm
parents: 8147
diff changeset
    67
\newcommand{\isasymSqinter}{\emph{$\bigsqcap\,$}}
7a4445000fc2 tuned syms;
wenzelm
parents: 8147
diff changeset
    68
\newcommand{\isasymSqunion}{\emph{$\bigsqcup\,$}}
7979
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
    69
\newcommand{\isasymbottom}{\emph{$\bot$}}
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
    70
\newcommand{\isasymdoteq}{\emph{$\doteq$}}
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
    71
\newcommand{\isasymequiv}{\emph{$\equiv$}}
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
    72
\newcommand{\isasymnoteq}{\emph{$\not=$}}
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
    73
\newcommand{\isasymsqsubset}{\emph{$\sqsubset$}}
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
    74
\newcommand{\isasymsqsubseteq}{\emph{$\sqsubseteq$}}
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
    75
\newcommand{\isasymprec}{\emph{$\prec$}}
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
    76
\newcommand{\isasympreceq}{\emph{$\preceq$}}
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
    77
\newcommand{\isasymsucc}{\emph{$\succ$}}
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
    78
\newcommand{\isasymapprox}{\emph{$\approx$}}
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
    79
\newcommand{\isasymsim}{\emph{$\sim$}}
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
    80
\newcommand{\isasymsimeq}{\emph{$\simeq$}}
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
    81
\newcommand{\isasymle}{\emph{$\le$}}
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
    82
\newcommand{\isasymColon}{\emph{$\mathrel{::}$}}
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
    83
\newcommand{\isasymleftarrow}{\emph{$\leftarrow$}}
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
    84
\newcommand{\isasymmidarrow}{\emph{$-$}}%deprecated
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
    85
\newcommand{\isasymrightarrow}{\emph{$\rightarrow$}}
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
    86
\newcommand{\isasymLeftarrow}{\emph{$\Leftarrow$}}
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
    87
\newcommand{\isasymMidarrow}{\emph{$=$}}%deprecated
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
    88
\newcommand{\isasymRightarrow}{\emph{$\Rightarrow$}}
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
    89
\newcommand{\isasymbow}{\emph{$\frown$}}
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
    90
\newcommand{\isasymmapsto}{\emph{$\mapsto$}}
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
    91
\newcommand{\isasymleadsto}{\emph{$\leadsto$}}
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
    92
\newcommand{\isasymup}{\emph{$\uparrow$}}
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
    93
\newcommand{\isasymdown}{\emph{$\downarrow$}}
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
    94
\newcommand{\isasymnotin}{\emph{$\notin$}}
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
    95
\newcommand{\isasymtimes}{\emph{$\times$}}
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
    96
\newcommand{\isasymoplus}{\emph{$\oplus$}}
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
    97
\newcommand{\isasymominus}{\emph{$\ominus$}}
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
    98
\newcommand{\isasymotimes}{\emph{$\otimes$}}
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
    99
\newcommand{\isasymoslash}{\emph{$\oslash$}}
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
   100
\newcommand{\isasymsubset}{\emph{$\subset$}}
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
   101
\newcommand{\isasyminfinity}{\emph{$\infty$}}
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
   102
\newcommand{\isasymbox}{\emph{$\Box$}}
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
   103
\newcommand{\isasymdiamond}{\emph{$\Diamond$}}
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
   104
\newcommand{\isasymcirc}{\emph{$\circ$}}
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
   105
\newcommand{\isasymbullet}{\emph{$\bullet$}}
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
   106
\newcommand{\isasymparallel}{\emph{$\parallel$}}
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
   107
\newcommand{\isasymsurd}{\emph{$\surd$}}
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
   108
\newcommand{\isasymcopyright}{\emph{\copyright}}
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
   109
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
   110
\newcommand{\isasymplusminus}{\emph{$\pm$}}
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
   111
\newcommand{\isasymdiv}{\emph{$\div$}}
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
   112
\newcommand{\isasymlongrightarrow}{\emph{$\longrightarrow$}}
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
   113
\newcommand{\isasymlongleftarrow}{\emph{$\longleftarrow$}}
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
   114
\newcommand{\isasymlongleftrightarrow}{\emph{$\longleftrightarrow$}}
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
   115
\newcommand{\isasymLongrightarrow}{\emph{$\Longrightarrow$}}
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
   116
\newcommand{\isasymLongleftarrow}{\emph{$\Longleftarrow$}}
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
   117
\newcommand{\isasymLongleftrightarrow}{\emph{$\Longleftrightarrow$}}
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
   118
%requires OT1 encoding:
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
   119
\newcommand{\isasymbrokenbar}{\emph{\textbrokenbar}}
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
   120
\newcommand{\isasymhyphen}{-}
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
   121
\newcommand{\isasymmacron}{\={}}
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
   122
\newcommand{\isasymexclamdown}{\emph{\textexclamdown}}
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
   123
\newcommand{\isasymquestiondown}{\emph{\textquestiondown}}
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
   124
%requires OT1 encoding:
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
   125
\newcommand{\isasymguillemotleft}{\emph{\guillemotleft}}
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
   126
%requires OT1 encoding:
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
   127
\newcommand{\isasymguillemotright}{\emph{\guillemotright}}
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
   128
%should be available (?):
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
   129
\newcommand{\isasymdegree}{\emph{\textdegree}}
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
   130
\newcommand{\isasymonesuperior}{\emph{$\mathonesuperior$}}
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
   131
\newcommand{\isasymonequarter}{\emph{\textonequarter}}
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
   132
\newcommand{\isasymtwosuperior}{\emph{$\mathtwosuperior$}}
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
   133
\newcommand{\isasymonehalf}{\emph{\textonehalf}}
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
   134
\newcommand{\isasymthreesuperior}{\emph{$\maththreesuperior$}}
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
   135
\newcommand{\isasymthreequarters}{\emph{\textthreequarters}}
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
   136
\newcommand{\isasymparagraph}{\emph{\P}}
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
   137
\newcommand{\isasymregistered}{\emph{\textregistered}}
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
   138
%should be available (?):
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
   139
\newcommand{\isasymordfeminine}{\emph{\textordfeminine}}
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
   140
%should be available (?):
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
   141
\newcommand{\isasymordmasculine}{\emph{\textordmasculine}}
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
   142
\newcommand{\isasymsection}{\S}
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
   143
\newcommand{\isasympounds}{\emph{$\pounds$}}
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
   144
%requires OT1 encoding:
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
   145
\newcommand{\isasymyen}{\emph{\textyen}}
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
   146
%requires OT1 encoding:
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
   147
\newcommand{\isasymcent}{\emph{\textcent}}
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
   148
%requires OT1 encoding:
bd9b0151c932 definitions of many Isabelle symbols;
wenzelm
parents:
diff changeset
   149
\newcommand{\isasymcurrency}{\emph{\textcurrency}}
8694
c1d0cc81f06c tuned \isasymlbrace;
wenzelm
parents: 8680
diff changeset
   150
\newcommand{\isasymlbrace}{\emph{$\mathopen{\lbrace\mkern-4.5mu\mid}$}}
8679
553ab81a5fee added \isasymlbrace, \isasymrbrace, \isasymtop;
wenzelm
parents: 8188
diff changeset
   151
\newcommand{\isasymrbrace}{\emph{$\mathclose{\mid\mkern-4.5mu\rbrace}$}}
553ab81a5fee added \isasymlbrace, \isasymrbrace, \isasymtop;
wenzelm
parents: 8188
diff changeset
   152
\newcommand{\isasymtop}{\emph{$\top$}}