In: Math
In set-builder notation, we use | to show givens, yet there isn't really a standard symbol to show givens when defining functions. So why don't we just import the symbol from set-builder notation so that it becomes standardised?
Explanation:
However, for the purpose of general education it is preferable to refrain from “jargon” and special symbolism in most cases. Those may seem to be a simplification for experienced practitioners, but they are usually more confusing than helpful to new learners.
Remember, the purpose of this site is to help people learn new things, not to demonstrate a contributor’s particular expertise.
That may be recognized in the Mathematics Subjects, or it may not be by all students. You certainly may use the | symbol from the keyboard.