# HG changeset patch
# User wenzelm
# Date 1005260104 -3600
# Node ID 16435c4e083f5b2020486642fce030eb2e5ce07c
# Parent  4a8558dbb6a0b9e7354e57074e58141fcb6e1c54
\newcommand{\isasymindex}{\isamath{\i}};

diff -r 4a8558dbb6a0 -r 16435c4e083f lib/texinputs/isabellesym.sty
--- a/lib/texinputs/isabellesym.sty	Thu Nov 08 23:52:56 2001 +0100
+++ b/lib/texinputs/isabellesym.sty	Thu Nov 08 23:55:04 2001 +0100
@@ -336,7 +336,8 @@
 \newcommand{\isasymwrong}{\isamath{\wr}}
 \newcommand{\isasymspacespace}{\isamath{~~}}
 \newcommand{\isasymacute}{\isatext{\'\relax}}
+\newcommand{\isasymdieresis}{\isatext{\"\relax}}
 \newcommand{\isasymstruct}{\isamath{\diamond}}
-\newcommand{\isasymdieresis}{\isatext{\"\relax}}
+\newcommand{\isasymindex}{\isamath{\i}}
 \newcommand{\isasymcedilla}{\isatext{\c\relax}}
 \newcommand{\isasymhungarumlaut}{\isatext{\H\relax}}