New answers tagged logic
Those bars look like relation symbols, so \mid should be the choice. However, defining an own command for it can surely be considered best practice: you can easily change the appearance of the symbol by just changing its definition. Here's an example, where the \renewcommand serves for the purpose of showing how you can modify the symbol without changing ...
Top 50 recent answers are included