Does anybody know a commonly used symbol for WLOG (without loss of generality)? I'm not comfortable with typing the whole thing every time and the abbreviation is just a compromise. If there is one for QED, why shouldn't there be one for WLOG? :)
Symbol for WLOG
0
$\begingroup$
notation
-
1Find what WLOG is in latin, and then abbreviate it? Maybe? If google traduction is right, it would be absque amissione generalitate which would become AAG... – 2012-10-22
-
3What’s wrong with WLOG? (Well, okay, if you write in German you should probably prefer `o.B.d.A.` or `o.E.d.A`, *ohne Beschränkung/Einschränkung der Allgemeinheit*. :-)) – 2012-10-22
-
0I didn't ask for translation, I just want to know whether there is a symbol for WLOG. What's wrong with WLOG? Precisely that you need to translate it! – 2012-10-22
-
0Thats why I suggested you translate it to latin, as QED, although you'll probably get some weird look from fellow mathematicians... – 2012-10-22
-
0@Jean-Sébastien: QED *has* a non-alphanumeric symbol: it's an empty square also called 'tombstone' (I can't insert it here foe some reason). – 2012-10-22
-
4I don't understand the downvote on this one. It is a perfect fine question with a clear answer. – 2012-10-22
-
1Actually, QED has several non-alphanumeric symbols, including **at least** $\Box$, $\blacksquare$, $\dashv$ (my favorite), a hollow rectangle oriented vertically, and ▮ (U+25AE), its solid black variant. – 2012-10-22
-
3You could try $\log_w$. But seriously, I dislike the use of WLOG (or what it stands for) as a somewhat careless way of writing, that puts an additional burden on the reader (because there _is_ loss of something, namely freedom; for instance if you've used some symmetry to justify the WLOG, you can't use the same kind of reduction again) and if you are using it all the time, you might want to adopt a different style. – 2012-10-22
-
3@Marc: It can be certainly misused, but eschewing it entirely puts a different additional burden on the reader: unnecessary clutter. – 2012-10-22
-
0@BrianM.Scott: I didn't mean that reduction to a specific case is generally a bad proof strategy, but you can present it for what it is: our statement will follow easily from its special case where in addition such and such hypothesis is valid; we shall now prove that special case. Doing it once with WLOG is all right, but more than once it gets confusing to justify. – 2012-10-22
-
0There are symbols for QED because it's useful and aesthetic to give a typographic clue that the proof is over. But when doing scratchwork or boardwork WLOG is succinct enough, and in typescript the words would be written out. – 2014-11-26
3 Answers
8
To answer your question: No there is no commonly used symbol for WLOG.
-
10On the contrary, WLOG is a perfectly common symbol for WLOG ;) – 2012-10-22
-
1@Ed: With WOLOG stumbling woefully along behind it. :-) – 2012-10-22
-
0All right, I guess I'll create my own symbol for that. – 2012-10-22
-
0Perhaps SLOG, for *sans* loss of generality – 2012-10-22
-
0@EdGorcenski: or KG for keeping generality. – 2012-10-22
1
In German, the equivalent phrases "ohne Beschränkung der Allgemeinheit" (oBdA) or "ohne Einschränkung" is sometimes denoted by Œ (O-E ligature):
Œ $ a
0
Since there doesn't seem to be any such symbol, I decided to create one, by manipulating $\forall$ and $\exists$. Any thoughts?
-
0No thoughts, only downvotes. Of course, if any site were going to introduce new math notation, shouldn't it be this one? – 2012-10-22
-
0@TheChaz: I don't think that this site should attempt and try to introduce notational conventions. I also don't think that WLOG should have a symbol. I think that if you're still at the stage where you try to write a proof only by mathematical symbols then you are not ready to use WLOG in your proofs. (I didn't vote on this answer, by the way, neither up nor down). – 2012-10-22
-
1I don't think that WLOG needs a new symbol, because I find that the phrase "without loss of generality" is almost always used in written text, not symbolic notation. The phrase itself means, more or less, that one may restrict one's attention to a specific (usually simpler) case without losing completeness or rigor in the presentation. If used symbolically, it is not necessarily clear that this is true. WLOG is also a dangerous phrase; its use can be as haphazard and incorrect as "clearly" and "obviously". – 2012-10-22
-
0What if you describe protocols or algorithms? I've seen several cases where WLOG is mixed with other math notation. I prefer to have either only symbols or things spelled out. Spiking it with SFLAs is not to my liking. Because I prefer to keep such things concise, I'd rather have a new symbol than WLOG. – 2012-10-22
-
0@TheChaz: Thanks for 'No thoughts, only downvotes'. – 2012-10-22
-
0(FWIW I didn't vote on WLOG, IIRC) – 2012-10-22
-
0The problem with introducing a new symbol is that nobody knows what it means. The second problem with introducing a symbol for WLOG is that WLOG itself, by its very nature, puts a burden on the reader simply for the fact that the writer is too lazy, too constrained, or too disinterested in explicitly handling multiple cases in the proof -- or too misguided. WLOG is best used when the extension to generality is obvious (e.g. $|x| > 0$, so WLOG consider $x > 0$), or when the secondary cases have already been demonstrated to be equivalent (in which case WLOG is somewhat redundant). – 2012-10-22
-
0@TheChaz: SODA `:P` – 2012-10-22