1 PR.registerLangHandler(PR.createSimpleLexer([[
"pln",/^[\t\n\r \xa0]+/,null,
"\t\n\r \u00a0"],[
"com",/^%[^\n\r]*/,null,
"%"]],[[
"kwd",/^\\[@-Za-z]+/],[
"kwd",/^\\./],[
"typ",/^[$&]/],[
"lit",/[+-]?(?:\.\d+|\d+(?:\.\d*)?)(cm|em|ex|in|pc|pt|bp|mm)/i],[
"pun",/^[()=[\]{}]+/]]),[
"latex",
"tex"]);