Lines Matching refs:backslashes
1280 % double any backslashes. Otherwise, a name like "\node" will be
1284 % user to double the backslashes and otherwise make the string valid, so
1287 % double active backslashes.
1473 % Doubled backslashes in the name.
1478 % Also double the backslashes in the display string.
4136 % braces and backslashes are used only as delimiters.
