// This file is automatically generated. Do not edit. var stretchy_and_large_operators = [ ["\\u2194.infix: ", "\u2194", "h", "infix"], ["\\u222E.prefix: ", "\u222E", "l", "prefix"], ["\\u2A11.prefix: ", "\u2A11", "l", "prefix"], ["\\u007E.infix: ", "\u007E", "h", "infix"], ["\\u27F8.infix: ", "\u27F8", "h", "infix"], ["\\u02CD.postfix: ", "\u02CD", "h", "postfix"], ["\\u0028.prefix: ", "\u0028", "v", "prefix"], ["\\u220F.prefix: ", "\u220F", "l", "prefix"], ["\\u2225.postfix: ", "\u2225", "v", "postfix"], ["\\u2A13.prefix: ", "\u2A13", "l", "prefix"], ["\\u007C\u007C.infix: ", "\u007C\u007C", "v", "infix"], ["\\u203E.postfix: ", "\u203E", "h", "postfix"], ["\\u27EE.prefix: ", "\u27EE", "v", "prefix"], ["\\u007C.prefix: ", "\u007C", "v", "prefix"], ["\\u2A00.prefix: ", "\u2A00", "l", "prefix"], ["\\u295A.infix: ", "\u295A", "h", "infix"], ["\\u02C6.postfix: ", "\u02C6", "h", "postfix"], ["\\u21E2.infix: ", "\u21E2", "h", "infix"], ["\\u2961.infix: ", "\u2961", "v", "infix"], ["\\u2998.postfix: ", "\u2998", "v", "postfix"], ["\\u2197.infix: ", "\u2197", "v", "infix"], ["\\u21BE.infix: ", "\u21BE", "v", "infix"], ["\\u21A7.infix: ", "\u21A7", "v", "infix"], ["\\u21C7.infix: ", "\u21C7", "h", "infix"], ["\\u2A0D.prefix: ", "\u2A0D", "l", "prefix"], ["\\u23E1.postfix: ", "\u23E1", "h", "postfix"], ["\\u2A18.prefix: ", "\u2A18", "l", "prefix"], ["\\u21A9.infix: ", "\u21A9", "h", "infix"], ["\\u21F0.infix: ", "\u21F0", "h", "infix"], ["\\u2016.prefix: ", "\u2016", "v", "prefix"], ["\\u007D.postfix: ", "\u007D", "v", "postfix"], ["\\u294E.infix: ", "\u294E", "h", "infix"], ["\\u2A02.prefix: ", "\u2A02", "l", "prefix"], ["\\u21D5.infix: ", "\u21D5", "v", "infix"], ["\\u219E.infix: ", "\u219E", "h", "infix"], ["\\u21EE.infix: ", "\u21EE", "v", "infix"], ["\\u22C3.prefix: ", "\u22C3", "l", "prefix"], ["\\u21C9.infix: ", "\u21C9", "h", "infix"], ["\\u21A6.infix: ", "\u21A6", "h", "infix"], ["\\u2044.infix: ", "\u2044", "v", "infix"], ["\\u27F9.infix: ", "\u27F9", "h", "infix"], ["\\u21A1.infix: ", "\u21A1", "v", "infix"], ["\\u2953.infix: ", "\u2953", "h", "infix"], ["\\u2195.infix: ", "\u2195", "v", "infix"], ["\\u21E0.infix: ", "\u21E0", "h", "infix"], ["\\u21E4.infix: ", "\u21E4", "h", "infix"], ["\\u2987.prefix: ", "\u2987", "v", "prefix"], ["\\u2A15.prefix: ", "\u2A15", "l", "prefix"], ["\\u21FE.infix: ", "\u21FE", "h", "infix"], ["\\u2225.prefix: ", "\u2225", "v", "prefix"], ["\\u2233.prefix: ", "\u2233", "l", "prefix"], ["\\u2772.prefix: ", "\u2772", "v", "prefix"], ["\\u27FA.infix: ", "\u27FA", "h", "infix"], ["\\u2230.prefix: ", "\u2230", "l", "prefix"], ["\\u2960.infix: ", "\u2960", "v", "infix"], ["\\u21AF.infix: ", "\u21AF", "v", "infix"], ["\\u20E1.postfix: ", "\u20E1", "h", "postfix"], ["\\u007C\u007C\u007C.postfix: ", "\u007C\u007C\u007C", "v", "postfix"], ["\\u27FB.infix: ", "\u27FB", "h", "infix"], ["\\u295C.infix: ", "\u295C", "v", "infix"], ["\\u007C.postfix: ", "\u007C", "v", "postfix"], ["\\u21D1.infix: ", "\u21D1", "v", "infix"], ["\\u27F7.infix: ", "\u27F7", "h", "infix"], ["\\u21B1.infix: ", "\u21B1", "v", "infix"], ["\\u21EC.infix: ", "\u21EC", "v", "infix"], ["\\u21CC.infix: ", "\u21CC", "h", "infix"], ["\\u27E8.prefix: ", "\u27E8", "v", "prefix"], ["\\u2990.postfix: ", "\u2990", "v", "postfix"], ["\\u21B4.infix: ", "\u21B4", "h", "infix"], ["\\u22C0.prefix: ", "\u22C0", "l", "prefix"], ["\\u2951.infix: ", "\u2951", "v", "infix"], ["\\u2AFF.prefix: ", "\u2AFF", "l", "prefix"], ["\\u21B5.infix: ", "\u21B5", "v", "infix"], ["\\u2215.infix: ", "\u2215", "v", "infix"], ["\\u2988.postfix: ", "\u2988", "v", "postfix"], ["\\u290D.infix: ", "\u290D", "h", "infix"], ["\\u21C1.infix: ", "\u21C1", "h", "infix"], ["\\u290B.infix: ", "\u290B", "v", "infix"], ["\\u2A16.prefix: ", "\u2A16", "l", "prefix"], ["\\u295E.infix: ", "\u295E", "h", "infix"], ["\\u2950.infix: ", "\u2950", "h", "infix"], ["\\u27EB.postfix: ", "\u27EB", "v", "postfix"], ["\\u29FC.prefix: ", "\u29FC", "v", "prefix"], ["\\u21A4.infix: ", "\u21A4", "h", "infix"], ["\\u295D.infix: ", "\u295D", "v", "infix"], ["\\u2A10.prefix: ", "\u2A10", "l", "prefix"], ["\\u2199.infix: ", "\u2199", "h", "infix"], ["\\u222C.prefix: ", "\u222C", "l", "prefix"], ["\\u2959.infix: ", "\u2959", "v", "infix"], ["\\u21EB.infix: ", "\u21EB", "v", "infix"], ["\\u290C.infix: ", "\u290C", "h", "infix"], ["\\u21E9.infix: ", "\u21E9", "v", "infix"], ["\\u2A1A.prefix: ", "\u2A1A", "l", "prefix"], ["\\u2913.infix: ", "\u2913", "v", "infix"], ["\\u2910.infix: ", "\u2910", "h", "infix"], ["\\uFE36.postfix: ", "\uFE36", "h", "postfix"], ["\\u21B0.infix: ", "\u21B0", "v", "infix"], ["\\u296E.infix: ", "\u296E", "v", "infix"], ["\\u2500.infix: ", "\u2500", "h", "infix"], ["\\u2308.prefix: ", "\u2308", "v", "prefix"], ["\\u21A8.infix: ", "\u21A8", "v", "infix"], ["\\u21C6.infix: ", "\u21C6", "h", "infix"], ["\\u21DD.infix: ", "\u21DD", "h", "infix"], ["\\u221A.prefix: ", "\u221A", "v", "prefix"], ["\\u2994.postfix: ", "\u2994", "v", "postfix"], ["\\u2296.prefix: ", "\u2296", "l", "prefix"], ["\\u2985.prefix: ", "\u2985", "v", "prefix"], ["\\u21F6.infix: ", "\u21F6", "h", "infix"], ["\\u298B.prefix: ", "\u298B", "v", "prefix"], ["\\u02C7.postfix: ", "\u02C7", "h", "postfix"], ["\\u2223.prefix: ", "\u2223", "v", "prefix"], ["\\u007C.infix: ", "\u007C", "v", "infix"], ["\\u2A07.prefix: ", "\u2A07", "l", "prefix"], ["\\u2A06.prefix: ", "\u2A06", "l", "prefix"], ["\\u20D6.postfix: ", "\u20D6", "h", "postfix"], ["\\u2A12.prefix: ", "\u2A12", "l", "prefix"], ["\\u2223.postfix: ", "\u2223", "v", "postfix"], ["\\u2958.infix: ", "\u2958", "v", "infix"], ["\\u23DC.postfix: ", "\u23DC", "h", "postfix"], ["\\u2986.postfix: ", "\u2986", "v", "postfix"], ["\\u2B46.infix: ", "\u2B46", "h", "infix"], ["\\u21FD.infix: ", "\u21FD", "h", "infix"], ["\\u007C\u007C\u007C.prefix: ", "\u007C\u007C\u007C", "v", "prefix"], ["\\u21D2.infix: ", "\u21D2", "h", "infix"], ["\\u298C.postfix: ", "\u298C", "v", "postfix"], ["\\u2912.infix: ", "\u2912", "v", "infix"], ["\\u21EA.infix: ", "\u21EA", "v", "infix"], ["\\u21BC.infix: ", "\u21BC", "h", "infix"], ["\\u005B.prefix: ", "\u005B", "v", "prefix"], ["\\u22C2.prefix: ", "\u22C2", "l", "prefix"], ["\\u296F.infix: ", "\u296F", "v", "infix"], ["\\u2B45.infix: ", "\u2B45", "h", "infix"], ["\\u02F7.postfix: ", "\u02F7", "h", "postfix"], ["\\u0332.postfix: ", "\u0332", "h", "postfix"], ["\\u27FE.infix: ", "\u27FE", "h", "infix"], ["\\u0029.postfix: ", "\u0029", "v", "postfix"], ["\\u21C0.infix: ", "\u21C0", "h", "infix"], ["\\u2A0F.prefix: ", "\u2A0F", "l", "prefix"], ["\\u27E7.postfix: ", "\u27E7", "v", "postfix"], ["\\u27ED.postfix: ", "\u27ED", "v", "postfix"], ["\\u27E6.prefix: ", "\u27E6", "v", "prefix"], ["\\u2995.prefix: ", "\u2995", "v", "prefix"], ["\\u219F.infix: ", "\u219F", "v", "infix"], ["\\u21AC.infix: ", "\u21AC", "h", "infix"], ["\\u21A2.infix: ", "\u21A2", "h", "infix"], ["\\u007B.prefix: ", "\u007B", "v", "prefix"], ["\\u222D.prefix: ", "\u222D", "l", "prefix"], ["\\u2A04.prefix: ", "\u2A04", "l", "prefix"], ["\\u2A0C.prefix: ", "\u2A0C", "l", "prefix"], ["\\u27FF.infix: ", "\u27FF", "h", "infix"], ["\\uFE37.postfix: ", "\uFE37", "h", "postfix"], ["\\u007C\u007C.prefix: ", "\u007C\u007C", "v", "prefix"], ["\\u2A14.prefix: ", "\u2A14", "l", "prefix"], ["\\u23DD.postfix: ", "\u23DD", "h", "postfix"], ["\\u29FD.postfix: ", "\u29FD", "v", "postfix"], ["\\u20D7.postfix: ", "\u20D7", "h", "postfix"], ["\\u222F.prefix: ", "\u222F", "l", "prefix"], ["\\u230A.prefix: ", "\u230A", "v", "prefix"], ["\\u27FD.infix: ", "\u27FD", "h", "infix"], ["\\u2AFC.prefix: ", "\u2AFC", "l", "prefix"], ["\\u21E6.infix: ", "\u21E6", "h", "infix"], ["\\u2210.prefix: ", "\u2210", "l", "prefix"], ["\\u298E.postfix: ", "\u298E", "v", "postfix"], ["\\u21E8.infix: ", "\u21E8", "h", "infix"], ["\\u2A0B.prefix: ", "\u2A0B", "l", "prefix"], ["\\u21D0.infix: ", "\u21D0", "h", "infix"], ["\\u27EC.prefix: ", "\u27EC", "v", "prefix"], ["\\u2996.postfix: ", "\u2996", "v", "postfix"], ["\\u2A1C.prefix: ", "\u2A1C", "l", "prefix"], ["\\uFE38.postfix: ", "\uFE38", "h", "postfix"], ["\\u2A0E.prefix: ", "\u2A0E", "l", "prefix"], ["\\u23DF.postfix: ", "\u23DF", "h", "postfix"], ["\\u290F.infix: ", "\u290F", "h", "infix"], ["\\u2954.infix: ", "\u2954", "v", "infix"], ["\\u21DA.infix: ", "\u21DA", "h", "infix"], ["\\u298A.postfix: ", "\u298A", "v", "postfix"], ["\\u2232.prefix: ", "\u2232", "l", "prefix"], ["\\u298D.prefix: ", "\u298D", "v", "prefix"], ["\\u21F3.infix: ", "\u21F3", "v", "infix"], ["\\u2980.postfix: ", "\u2980", "v", "postfix"], ["\\u21B3.infix: ", "\u21B3", "v", "infix"], ["\\u02DC.postfix: ", "\u02DC", "h", "postfix"], ["\\u230B.postfix: ", "\u230B", "v", "postfix"], ["\\u2A19.prefix: ", "\u2A19", "l", "prefix"], ["\\u007C\u007C.postfix: ", "\u007C\u007C", "v", "postfix"], ["\\u21CA.infix: ", "\u21CA", "v", "infix"], ["\\u2231.prefix: ", "\u2231", "l", "prefix"], ["\\u2A01.prefix: ", "\u2A01", "l", "prefix"], ["\\u21E3.infix: ", "\u21E3", "v", "infix"], ["\\u2192.infix: ", "\u2192", "h", "infix"], ["\\u23E0.postfix: ", "\u23E0", "h", "postfix"], ["\\u21A3.infix: ", "\u21A3", "h", "infix"], ["\\u21D4.infix: ", "\u21D4", "h", "infix"], ["\\u2957.infix: ", "\u2957", "h", "infix"], ["\\u298F.prefix: ", "\u298F", "v", "prefix"], ["\\u290A.infix: ", "\u290A", "v", "infix"], ["\\u2989.prefix: ", "\u2989", "v", "prefix"], ["\\u2297.prefix: ", "\u2297", "l", "prefix"], ["\\u27EF.postfix: ", "\u27EF", "v", "postfix"], ["\\u2991.prefix: ", "\u2991", "v", "prefix"], ["\\u21B9.infix: ", "\u21B9", "h", "infix"], ["\\u2295.prefix: ", "\u2295", "l", "prefix"], ["\\u007E.postfix: ", "\u007E", "h", "postfix"], ["\\u02C9.postfix: ", "\u02C9", "h", "postfix"], ["\\u21C4.infix: ", "\u21C4", "h", "infix"], ["\\u21BD.infix: ", "\u21BD", "h", "infix"], ["\\u21D3.infix: ", "\u21D3", "v", "infix"], ["\\u005F.infix: ", "\u005F", "h", "infix"], ["\\u2A08.prefix: ", "\u2A08", "l", "prefix"], ["\\u20D1.postfix: ", "\u20D1", "h", "postfix"], ["\\u2196.infix: ", "\u2196", "v", "infix"], ["\\u27E9.postfix: ", "\u27E9", "v", "postfix"], ["\\u27F5.infix: ", "\u27F5", "h", "infix"], ["\\u2980.prefix: ", "\u2980", "v", "prefix"], ["\\u21B2.infix: ", "\u21B2", "v", "infix"], ["\\u294F.infix: ", "\u294F", "v", "infix"], ["\\u21C5.infix: ", "\u21C5", "v", "infix"], ["\\u21DC.infix: ", "\u21DC", "h", "infix"], ["\\u21E7.infix: ", "\u21E7", "v", "infix"], ["\\u21ED.infix: ", "\u21ED", "v", "infix"], ["\\u21C2.infix: ", "\u21C2", "v", "infix"], ["\\u21E5.infix: ", "\u21E5", "h", "infix"], ["\\u23B1.postfix: ", "\u23B1", "v", "postfix"], ["\\u21C8.infix: ", "\u21C8", "v", "infix"], ["\\u27FC.infix: ", "\u27FC", "h", "infix"], ["\\u290E.infix: ", "\u290E", "h", "infix"], ["\\u2955.infix: ", "\u2955", "v", "infix"], ["\\u295B.infix: ", "\u295B", "h", "infix"], ["\\u23DE.postfix: ", "\u23DE", "h", "postfix"], ["\\u2997.prefix: ", "\u2997", "v", "prefix"], ["\\u2983.prefix: ", "\u2983", "v", "prefix"], ["\\u2309.postfix: ", "\u2309", "v", "postfix"], ["\\u2A17.prefix: ", "\u2A17", "l", "prefix"], ["\\u23B4.postfix: ", "\u23B4", "h", "postfix"], ["\\u22C1.prefix: ", "\u22C1", "l", "prefix"], ["\\u2190.infix: ", "\u2190", "h", "infix"], ["\\u21F5.infix: ", "\u21F5", "v", "infix"], ["\\u21BF.infix: ", "\u21BF", "v", "infix"], ["\\u27F0.infix: ", "\u27F0", "v", "infix"], ["\\uFE35.postfix: ", "\uFE35", "h", "postfix"], ["\\u21A0.infix: ", "\u21A0", "h", "infix"], ["\\u2211.prefix: ", "\u2211", "l", "prefix"], ["\\u219D.infix: ", "\u219D", "h", "infix"], ["\\u23B5.postfix: ", "\u23B5", "h", "postfix"], ["\\u27F6.infix: ", "\u27F6", "h", "infix"], ["\\u2299.prefix: ", "\u2299", "l", "prefix"], ["\\u219C.infix: ", "\u219C", "h", "infix"], ["\\u00AF.postfix: ", "\u00AF", "h", "postfix"], ["\\u21EF.infix: ", "\u21EF", "v", "infix"], ["\\u2191.infix: ", "\u2191", "v", "infix"], ["\\u2A09.prefix: ", "\u2A09", "l", "prefix"], ["\\u2A0A.prefix: ", "\u2A0A", "l", "prefix"], ["\\u005F.postfix: ", "\u005F", "h", "postfix"], ["\\u23B0.prefix: ", "\u23B0", "v", "prefix"], ["\\u21C3.infix: ", "\u21C3", "v", "infix"], ["\\u21A5.infix: ", "\u21A5", "v", "infix"], ["\\u27EA.prefix: ", "\u27EA", "v", "prefix"], ["\\u2773.postfix: ", "\u2773", "v", "postfix"], ["\\u2016.infix: ", "\u2016", "v", "infix"], ["\\u21CB.infix: ", "\u21CB", "h", "infix"], ["\\u228E.prefix: ", "\u228E", "l", "prefix"], ["\\u27F1.infix: ", "\u27F1", "v", "infix"], ["\\u005E.postfix: ", "\u005E", "h", "postfix"], ["\\u0302.postfix: ", "\u0302", "h", "postfix"], ["\\u005D.postfix: ", "\u005D", "v", "postfix"], ["\\u2952.infix: ", "\u2952", "h", "infix"], ["\\u295F.infix: ", "\u295F", "h", "infix"], ["\\u21AB.infix: ", "\u21AB", "h", "infix"], ["\\u2992.postfix: ", "\u2992", "v", "postfix"], ["\\u2016.postfix: ", "\u2016", "v", "postfix"], ["\\u007C\u007C\u007C.infix: ", "\u007C\u007C\u007C", "v", "infix"], ["\\u2A03.prefix: ", "\u2A03", "l", "prefix"], ["\\u2193.infix: ", "\u2193", "v", "infix"], ["\\u2956.infix: ", "\u2956", "h", "infix"], ["\\u2984.postfix: ", "\u2984", "v", "postfix"], ["\\u21AA.infix: ", "\u21AA", "h", "infix"], ["\\u2A1B.prefix: ", "\u2A1B", "l", "prefix"], ["\\u21E1.infix: ", "\u21E1", "v", "infix"], ["\\u2198.infix: ", "\u2198", "h", "infix"], ["\\u21AD.infix: ", "\u21AD", "h", "infix"], ["\\u2A05.prefix: ", "\u2A05", "l", "prefix"], ["\\u21DB.infix: ", "\u21DB", "h", "infix"], ["\\u2993.prefix: ", "\u2993", "v", "prefix"], ["\\u222B.prefix: ", "\u222B", "l", "prefix"], ["\\u20D0.postfix: ", "\u20D0", "h", "postfix"], ["\\u21FF.infix: ", "\u21FF", "h", "infix"], ];