12:15 PM
For divisibility, is think it is better to use $3\mid 6$ than $3|6$. Although not everybody agrees with this, there are some people who prefer the latter. (There is a difference in spacing.)
Some discussion about \mid vs. | is in the comments to my answer here: When should each type of vertical bar (pipe) be used?
But I mainly wanted to point out
\nmid
. (I have already edited one of your posts, I am not sure whether I caught all occurrences of \not|
.)
BTW I see that in the meantime quid responded in his room too and that you have also asked in CRUDE (and elsewhere).
« first day (1809 days earlier) ← previous day next day → last day (1633 days later) »