System L

1. REDIRECT Suppes–Lemmon notation

{{Redirect category shell|

{{R from move}}

}}