diff --git a/lib/weblib.php b/lib/weblib.php
index 4144d00527c..5ede4d906fd 100644
--- a/lib/weblib.php
+++ b/lib/weblib.php
@@ -1092,7 +1092,8 @@ function print_navigation ($navigation) {
        if (! $site = get_site()) {
            $site->shortname = get_string("home");;
        }
-       echo "<a target=\"{$CFG->framename}\" href=\"$CFG->wwwroot/\">$site->shortname</a> -> $navigation";
+       $navigation = str_replace('->', '&raquo;', $navigation);
+       echo "<a target=\"{$CFG->framename}\" href=\"$CFG->wwwroot/\">$site->shortname</a> &raquo; $navigation";
    }
 }