diff --git a/lib/symbols b/lib/symbols index 43dac18a71..2d0af3933e 100644 --- a/lib/symbols +++ b/lib/symbols @@ -90,10 +90,10 @@ qquad space none quad space none # styles -displaystyle style none -scriptscriptstyle style none -scriptstyle style none -textstyle style none +displaystyle style 0 +textstyle style 1 +scriptscriptstyle style 2 +scriptstyle style 3 # misc begin begin none