diff --git a/DerivationTrees/CPTS.hs b/DerivationTrees/CPTS.hs
--- a/DerivationTrees/CPTS.hs
+++ b/DerivationTrees/CPTS.hs
@@ -115,7 +115,7 @@
 
 
 interpV :: V -> TeX
-interpV (V v) = texify v
+interpV (V v) = tex "Varid" [texify v]
 interpV (Unbound) = TeX "?"
 
 interpB :: Binding -> TeX
@@ -156,7 +156,7 @@
 interpT d e@(Pi c a b)              = parn d e $ col c "FORALL" [interpB a, interpT BinderRhs b]
 interpT d e@(App c f a)             = parn d e $ col c "APP"    [interpT ApplLhs f, interpT ApplRhs a]
 interpT d e@(Sub t b)               = parn d e $ (interpT SubsLhs t <> brack (interpB' (tex "mapsto" [mempty]) b))
-interpT d e@(Var x)                     = texify x
+interpT d e@(Var x)                     = tex "Varid" [texify x]
 interpT d e@(Con x)                     = texify x
 interpT d e@(Many t)                    = M.many (interpT d t)
 interpT d e@(Sor s)                     = texify s
diff --git a/derivation-trees.cabal b/derivation-trees.cabal
--- a/derivation-trees.cabal
+++ b/derivation-trees.cabal
@@ -1,5 +1,5 @@
 name:           derivation-trees
-version:        0.7.2
+version:        0.7.3
 category:       Graphics, Math
 synopsis:       Typeset Derivation Trees via MetaPost
 description: