Searched refs:document_prefix (Results 1 – 1 of 1) sorted by relevance
293 protected function document_prefix() { function in renderer_plugin_latexit362 $this->document_prefix();