# HG changeset patch
# User wenzelm
# Date 976102132 -3600
# Node ID fe12dc60bc3cfb5fc2691fd1199f29d49c26d1c5
# Parent  9bb2e34df0cde205345b4f03711cd498089884fd
added \<a> ... \<z>;

diff -r 9bb2e34df0cd -r fe12dc60bc3c lib/texinputs/isabellesym.sty
--- a/lib/texinputs/isabellesym.sty	Wed Dec 06 12:26:26 2000 +0100
+++ b/lib/texinputs/isabellesym.sty	Wed Dec 06 12:28:52 2000 +0100
@@ -43,6 +43,32 @@
 \newcommand{\isasymX}{\isamath{\mathcal{X}}}
 \newcommand{\isasymY}{\isamath{\mathcal{Y}}}
 \newcommand{\isasymZ}{\isamath{\mathcal{Z}}}
+\newcommand{\isasyma}{\isamath{\mathrm{a}}}
+\newcommand{\isasymb}{\isamath{\mathrm{b}}}
+\newcommand{\isasymc}{\isamath{\mathrm{c}}}
+\newcommand{\isasymd}{\isamath{\mathrm{d}}}
+\newcommand{\isasyme}{\isamath{\mathrm{e}}}
+\newcommand{\isasymf}{\isamath{\mathrm{f}}}
+\newcommand{\isasymg}{\isamath{\mathrm{g}}}
+\newcommand{\isasymh}{\isamath{\mathrm{h}}}
+\newcommand{\isasymi}{\isamath{\mathrm{i}}}
+\newcommand{\isasymj}{\isamath{\mathrm{j}}}
+\newcommand{\isasymk}{\isamath{\mathrm{k}}}
+\newcommand{\isasyml}{\isamath{\mathrm{l}}}
+\newcommand{\isasymm}{\isamath{\mathrm{m}}}
+\newcommand{\isasymn}{\isamath{\mathrm{n}}}
+\newcommand{\isasymo}{\isamath{\mathrm{o}}}
+\newcommand{\isasymp}{\isamath{\mathrm{p}}}
+\newcommand{\isasymq}{\isamath{\mathrm{q}}}
+\newcommand{\isasymr}{\isamath{\mathrm{r}}}
+\newcommand{\isasyms}{\isamath{\mathrm{s}}}
+\newcommand{\isasymt}{\isamath{\mathrm{t}}}
+\newcommand{\isasymu}{\isamath{\mathrm{u}}}
+\newcommand{\isasymv}{\isamath{\mathrm{v}}}
+\newcommand{\isasymw}{\isamath{\mathrm{w}}}
+\newcommand{\isasymx}{\isamath{\mathrm{x}}}
+\newcommand{\isasymy}{\isamath{\mathrm{y}}}
+\newcommand{\isasymz}{\isamath{\mathrm{z}}}
 \newcommand{\isasymalpha}{\isamath{\alpha}}
 \newcommand{\isasymbeta}{\isamath{\beta}}
 \newcommand{\isasymgamma}{\isamath{\gamma}}