\def\:tempc#1{\HCode{\l:brace\string\bigl\space\string#1}}
\HLet\bigl=\:tempc
\def\:tempc#1{\HCode{\string\bigm\space\string#1}}
\HLet\bigm=\:tempc
\def\:tempc#1{\HCode{\string\bigr\space\string #1\r:brace}}
\HLet\bigr=\:tempc
\def\:tempc#1{\HCode{\l:brace\string\Bigl\space\string#1}}
\HLet\Bigl=\:tempc
\def\:tempc#1{\HCode{\string\Bigm\space\string#1}}
\HLet\Bigm=\:tempc
\def\:tempc#1{\HCode{\string\Bigr\space\string #1\r:brace}}
\HLet\Bigr=\:tempc
\def\:tempc#1{\HCode{\l:brace\string\biggl\space\string#1}}
\HLet\biggl=\:tempc
\def\:tempc#1{\HCode{\string\biggm\space\string#1}}
\HLet\biggm=\:tempc
\def\:tempc#1{\HCode{\string\biggr\space\string #1\r:brace}}
\HLet\biggr=\:tempc
\def\:tempc#1{\HCode{\l:brace\string\Biggl\space\string#1}}
\HLet\Biggl=\:tempc
\def\:tempc#1{\HCode{\string\Biggm\space\string#1}}
\HLet\Biggm=\:tempc
\def\:tempc#1{\HCode{\string\Biggr\space\string #1\r:brace}}
\HLet\Biggr=\:tempc
-_-_-