</pre>
* In XQuery, local options can be set via option declarations and [[XQuery Extensions#Pragmas|Pragmaspragmas]]).
If options are changed by operations in the [[GUI]], the underlying commands will be listed in the [[GUI#Visualizations|Info View]].<br/><br/>