diff --git a/doc/xschem_man/spiceprefix.png b/doc/xschem_man/spiceprefix.png
new file mode 100644
index 00000000..cf93600d
Binary files /dev/null and b/doc/xschem_man/spiceprefix.png differ
diff --git a/doc/xschem_man/symbol_property_syntax.html b/doc/xschem_man/symbol_property_syntax.html
index 76372dd7..15b9a7a2 100644
--- a/doc/xschem_man/symbol_property_syntax.html
+++ b/doc/xschem_man/symbol_property_syntax.html
@@ -59,7 +59,8 @@ p{padding: 15px 30px 10px;}
character is a 'substitution character', it means that the token that follows is a parameter
that will be substituted with the value passed at component instantiation. If no
value is given there a value will be picked from the attribute declared in the template
- string.
+ string.
+
The @pinlist is a special token that will be substituted with the name of the wires that
connect to symbol pins, in the order they are created in the symbol. See the
pin ordering section in the xschem properties slide.
@@ -71,7 +72,15 @@ p{padding: 15px 30px 10px;}
the correct pin ordering in the symbol pins will make netlist generation faster. This is important
for very big components with lot of pins, and @pinlist is the default when symbol is generated
automatically (Symbol ->Make symbol menu of <Shift>A key).
+
+ The format attribute may contain a @spiceprefix string immediately preceding
+ (with no spaces) the @name attribute.. This will be substituted with
+ value given in instance (example: spiceprefix=X) but *ONLY* if
+ Simulation->Use 'spiceprefix' attribute is set.
+ This allows to create different netlists for simulation (example: all MOS are defined as subcircuits)
+ or LVS (no device subcircuits).
+