关于 latex
  • 板块学术版
  • 楼主cancan123456
  • 当前回复7
  • 已保存回复7
  • 发布时间2023/5/24 13:18
  • 上次更新2023/10/23 14:53:36
查看原帖
关于 latex
448887
cancan123456楼主2023/5/24 13:18

目前方法是用 D⊢kαΓ  ⟹  Δ\mathcal D\vdash^\alpha_k\Gamma\implies\Delta

2023/5/24 13:18