Conversion from ReST markup to online text

<div id="comment:0"></div>

Some little improvements for the conversion from ReST markup to online text documentation:

- Translate `\mid` to `|`
- <add more here>


Component: **documentation**

Keywords: **ReST, online text**

_Issue created by migration from https://trac.sagemath.org/ticket/9262_

