Converts a Number to a String using the given separator style * * String numberToString( Number number, int formatStyle, int precision, int separato

\return Path specified by given data or by referenced dictionary */

app.setInterval()

sets the length in inches */

* Given the squared @p distance from the idealized 0-width line and a pen width @p penWidth, * (not squared!), returns the final distance * * @warn

* The next nodes corresponds to a deep first tree traversal. * Creates child proxies as side effect. * May loop infinitely many times if the tree

Where the synctex scanner parses the contents of the file. */