If a and b are congruent modulo a number c, we might write $a \equiv b \pmod c$. When writing programs, it's often useful to compute the remainder after division, and in pseudocode we might write a = b mod c, where mod is understood to be a a binary operator which assings a = b - c * floor(b / c).
When writing an academic paper, should any distinction be drawn between these two uses? Specifically, when describing how to compute a set of parameters, we are currently specifying many using imperative (how-to-compute, e.g., modulus-operator-like) syntax (and a few with the declarative, modular-congruence-like syntax). For instance, would this:
a = b + c / d e = f (mod g)
Be better rendered as this:
a = b + c / d e = f mod g
In formal writing? I tend to believe the latter is more appropriate, but this might be a folk belief.
EDIT: Also note that an "=" is currently being used. If we stick with the "mod" inside parentheses, should we be using "$\equiv$"?