I hate this notation:
\[ List (X) = \mu Y.1 + X \times Y \]
Lots of space around + and none between the dot and the 1. This is much more readable:
\[ List (X) = \mu Y \to 1 + X \times Y \]
Bartosz Milewski
npub15c…wczp5
2025-12-24 13:43:36 UTC
Author Public Key
npub15c9gsd6d3cw0pyk8a2fkv248snan8vl8t0nhy5qhqvhxj20tch2swwczp5Published at
2025-12-24 13:43:36 UTCEvent JSON
{
"id": "da162a0b087dd4989b8b0d8fec228a9ab393868fce9236c37074942c9eded414",
"pubkey": "a60a88374d8e1cf092c7ea93662aa784fb33b3e75be7725017032e6929ebc5d5",
"created_at": 1766583816,
"kind": 1,
"tags": [
[
"proxy",
"https://mathstodon.xyz/users/BartoszMilewski/statuses/115774837016628284",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.ditto.pub/"
]
],
"content": "I hate this notation:\n\\[ List (X) = \\mu Y.1 + X \\times Y \\]\nLots of space around + and none between the dot and the 1. This is much more readable:\n\\[ List (X) = \\mu Y \\to 1 + X \\times Y \\]",
"sig": "9c722c537369d77f57a47aefda1c0705975cc0a3da9d9822b62679e19979057d8ad17c421085b8357329c3a5a2dbdc7ef1ddb3e1ae7fcf91a1867bc93670ed2c"
}