Adds \doublebarwedge.