1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
//! 波括弧が長さでどう変わるかを見る
use suki::font;
use suki::{Mode, Shape, escape, render_svg};
fn main() {
let path = std::env::args().nth(1).unwrap_or_else(|| "font/latinmodern-math.otf".to_string());
let loaded = font::load(std::fs::read(&path).unwrap()).unwrap();
println!("<!DOCTYPE html><html lang=\"ja\"><head><meta charset=\"utf-8\"><title>波括弧</title><style>");
println!("@font-face{{font-family:\"{}\";src:url(\"{}\")}}",
escape(font::family(&loaded)), escape(&path));
println!("{}", suki::style(&loaded));
println!("body{{margin:0;padding:26px;font-family:system-ui,sans-serif;font-size:12px}}");
println!(".row{{margin-bottom:26px}}.big{{font-size:44px}}");
println!(".src{{color:#767676;margin-bottom:4px}}");
println!("</style></head><body>");
let mut body = String::from("a");
for step in 0..7 {
if step > 0 {
body.push_str("+a");
}
for source in [
format!(r"\overbrace{{{body}}}^{{n}}"),
format!(r"\underbrace{{{body}}}_{{m}}"),
] {
println!("<div class=\"row\"><div class=\"src\">{}</div>", escape(&source));
println!("<div class=\"big\">{}</div></div>",
render_svg(&source, &loaded, Mode::Display, Shape::Outline).unwrap());
}
}
println!("</body></html>");
}