tree be87f94b644810d976596ab8ed1bd63024c52ea4
parent 99c68045f93963a9233e0d549db413745d6b83ea
author Marc Kupietz <kupietz@ids-mannheim.de> 1688052469 +0200
committer Marc Kupietz <kupietz@ids-mannheim.de> 1688052469 +0200

Replace rightarrow with see, webfonts not loaded

Change-Id: I8e20dae9686ca7c17156d749a2f97305fa4b5ffd