Lines Matching refs:Although
1982 % Although only regular is the truly official Euro symbol, we ignore
2983 % it will fail (although perhaps we could fix that with sufficient work
3208 % Although these internal commands shouldn't show up, sometimes they do.
