@Override
 public void visit(OWLSymmetricObjectPropertyAxiom axiom) {
   axiom.getProperty().accept(this);
   writeSpace();
   write(EQUIV);
   writeSpace();
   axiom.getProperty().accept(this);
   write("\\ensuremath{^-}");
 }
 @Override
 public void visit(OWLSymmetricObjectPropertyAxiom axiom) {
   axiom.getProperty().accept(this);
   OWLObjectPropertyExpression prop = (OWLObjectPropertyExpression) obj;
   obj = dataFactory.getOWLSymmetricObjectPropertyAxiom(prop, duplicateAxiomAnnotations(axiom));
 }
 public void visit(OWLSymmetricObjectPropertyAxiom axiom) {
   axiom.getProperty().accept(this);
   processAxiomAnnotations(axiom);
 }