src/HOL/Isar_examples/document/style.tex
changeset 7874 180364256231
parent 7869 c007f801cd59
child 7968 964b65b4e433
--- a/src/HOL/Isar_examples/document/style.tex	Fri Oct 15 16:43:05 1999 +0200
+++ b/src/HOL/Isar_examples/document/style.tex	Fri Oct 15 16:44:37 1999 +0200
@@ -9,7 +9,7 @@
 \newcommand{\name}[1]{\textsl{#1}}
 
 \newcommand{\idt}[1]{{\mathord{\mathit{#1}}}}
-\newcommand{\var}[1]{{?\!#1}}
+\newcommand{\var}[1]{{?\!\idt{#1}}}
 \DeclareMathSymbol{\dshsym}{\mathalpha}{letters}{"2D}
 \newcommand{\dsh}{\dshsym}