% If you say \syntax{"\\sv@readenv{"<macro-name>"}"}, it will expand do
% \begin{listinglist} \listingsize \synshorts
% <macro-name>"{\\"$_{12}$"end{"$_{12}$<current-env-name>"}"$_{12}$"}"^^A
-% "{\\end{"<current-env-name>"}}"
+% "{\\end{"<current-env-name>"}}"
% \end{listinglist}
% Easy, no?
%