From 120f03fd8ea1109a4fb6f9d3f4521ba650b565c8 Mon Sep 17 00:00:00 2001
From: Guillaume Munch <gm@lyx.org>
Date: Thu, 27 Oct 2016 21:10:18 +0200
Subject: [PATCH] Copy bit of documentation from MathFactory.cpp

---
 lib/symbols | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/lib/symbols b/lib/symbols
index ba2b6d330d..64427b3aaa 100644
--- a/lib/symbols
+++ b/lib/symbols
@@ -11,6 +11,13 @@
 # Note that the first argument of \def must not uses braces, and the second
 # must use braces.
 #
+# syntax: Either
+# \def\macroname{definition}
+# or
+# \def\macroname{definition} requires
+# or
+# \def\macroname{definition} extra xmlname requires
+#
 # If you put any symbol with a requirement inside an iffont clause, you
 # must put an alternative definition with the same requirement in the
 # corresponding else clause. Otherwise the LaTeX output would depend on the