set math font
This commit is contained in:
parent
48eb7840b3
commit
23fa0e33d8
2 changed files with 6 additions and 1 deletions
|
@ -32,7 +32,7 @@ theorem fuse {α β γ} : ∀ (xs : List α) (f : α → β) (g : β → γ),
|
|||
|
||||
A simple proof of fusion for `List.map` in Lean 4. This and similar theorems are why pure languages like Lean and Haskell can transform e.g. `map f xs |> map g xs` into `map (fun x -> g (f x)) xs`, i.e. `map g . map f` into `map (g . f)`, reducing the number of times a structure must be iterated and thus improving spatial locality.
|
||||
|
||||
The above block is set with ```` ``` ```` above and below the code. Interestingly, trying to type that little backtick sequence there is a little unintuitive in markdown/djot. If the code you're trying to set has n consecutive backticks in it, you have to surround it with n+1 backticks and pad those delimiters inside with a space. 1234567890 is a pretty small number, really.
|
||||
The above block is set with ```` ``` ```` above and below the code. Interestingly, trying to type that little backtick sequence there is a little unintuitive in markdown/djot. If the code you're trying to set has $`n` consecutive backticks in it, you have to surround it with $`n+1` backticks and pad those delimiters inside with a space. 1234567890 is a pretty small number, really.
|
||||
|
||||
***
|
||||
|
||||
|
|
|
@ -182,3 +182,8 @@ math[display="block"] {
|
|||
right: auto;
|
||||
text-align: left;
|
||||
}
|
||||
|
||||
math {
|
||||
color: black;
|
||||
font-family: "Math";
|
||||
}
|
Loading…
Add table
Add a link
Reference in a new issue