3 ms·I have historically used asterisks for emphasis and slashes for the use/mention distinction.by TRiG_Ireland 6mo agoI have historically used asterisks for emphasis and slashes for the use/mention distinction.