Missing superscripts and subscripts - #797

Missing superscripts and subscripts#797

ionathanch wants to merge 1 commit into

leanprover:masterleanprover/vscode-lean4:masterfrom

ionathanch:patch-1ionathanch/vscode-lean4:patch-1Copy head branch name to clipboard