🔍
🏠
Wikipedia
🎲
Rank (type theory)