Symbols:Abbreviations/W/WLOG