ummels/fdsymbol — pull request #9 by sebschub (2011-12-08 21:47:37+00:00)
Title: Correct the | symbol

The | symbol does not have the right size, it should also be equal to \vert. This fixes the mapping.