Adds \doublebarwedge.

Ya