 Jerusalem notation for forcing

In Jerusalem notation, $p\le q$ says that $q$ is stronger than $p$: the larger condition carries more information.