0   "large-(" "large-)" "large-[" "large-]"
    "large-lfloor" "large-rfloor" "large-lceil" "large-rceil"
    "large-{" "large-}" "large-langle" "large-rangle"
    "large-|" "large-||" "large-/" "large-\\"
12  "large-lvert" "large-lVert"
12  "large-rvert" "large-rVert"
70  "big-sqcup"
72  "big-old-oint"
72  "big-old-ointlim"
74  "big-odot"
76  "big-oplus"
78  "big-otimes"
80  "big-sum" "big-prod" "big-old-int"
82  "big-old-intlim"
83  "big-cup" "big-cap" "big-pluscup" "big-wedge" "big-vee"
96  "big-coprod"
96  "big-amalg"
98  "wide-hat"
101 "wide-tilde"
112 "large-sqrt"
