Parse \rightarrow; update libs