Re.png
Rrightarrow.png
Rsh.png
- Vert.png
Vvdash.png
acute.png
aleph.png
vee.png
veebar.png
vert.png
+ vert2.png
vphantom.png
wedge.png
widehat.png
images/math/vec.png \
images/math/vee.png \
images/math/veebar.png \
- images/math/Vert.png \
images/math/vert.png \
+ images/math/vert2.png \
images/math/vphantom.png \
images/math/wedge.png \
images/math/widehat.png \
{ "nvDash", "nvdash2" },
{ "textrm \\AA", "textrm_AA"},
{ "textrm \\O", "textrm_O"},
- { "vDash", "vdash2" }
+ { "vDash", "vdash2" },
+ { "Vert", "vert2" }
};
size_t const nr_sorted_png_map = sizeof(sorted_png_map) / sizeof(PngMap);