| changeset 12090 | e70c7350851c |
| parent 11710 | f5401162c9f0 |
| child 12097 | ddb042d22219 |
--- a/lib/texinputs/isabellesym.sty Wed Nov 07 18:12:12 2001 +0100 +++ b/lib/texinputs/isabellesym.sty Wed Nov 07 18:16:54 2001 +0100 @@ -339,3 +339,4 @@ \newcommand{\isasymdieresis}{\isatext{\"\relax}} \newcommand{\isasymcedilla}{\isatext{\c\relax}} \newcommand{\isasymhungarumlaut}{\isatext{\H\relax}} +\newcommand{\isasymstruct}{\isamath{\backprime}} %requires amssymb