如何用SymPy输出带一个上标和多个下标的希腊符号？

问题分析 #

你当前的代码存在两个核心问题：

1. LaTeX语法错误：多个下标需要包裹在同一个_{}范围内，否则第二个字符会被识别为普通文本而非下标。
2. 符号转换错误：直接将SymPy符号（如theta、phi）嵌入f-string，会导致输出的LaTeX代码是符号的字符串名称（如theta）而非正确的LaTeX命令（\theta），引发显示异常。

解决方案 #

方案一：手动构造正确的LaTeX表达式 #

通过SymPy的latex()函数将符号转换为标准LaTeX代码，同时用花括号确保上标和多下标被正确包裹：

import sympy as smp
from IPython.display import display, Latex
smp.init_printing()

t, r, theta, phi = smp.symbols(r't, r, \theta, \phi')

# 输出 Λʳₜₜ
latex_expr = f"$\Lambda^{{{smp.latex(r)}}}_{{{smp.latex(t)}{smp.latex(t)}}}$"
display(Latex(latex_expr))

# 输出 Λᵠ_θᵣ
latex_expr2 = f"$\Lambda^{{{smp.latex(phi)}}}_{{{smp.latex(theta)}{smp.latex(r)}}}$"
display(Latex(latex_expr2))

方案二：使用SymPy原生Indexed对象（推荐） #

SymPy的Indexed类专门用于处理带多索引的符号，能自动生成正确的LaTeX输出，同时支持后续符号运算：

import sympy as smp
from IPython.display import display
smp.init_printing()

t, r, theta, phi = smp.symbols(r't, r, \theta, \phi')
Lambda = smp.symbols(r'\Lambda')

# 创建带单上标、两下标的符号
Lambda_rt_t = smp.Indexed(Lambda, [r, t, t], upper=[0])
display(Lambda_rt_t)

# 创建带phi上标、theta+r下标的符号
Lambda_phi_theta_r = smp.Indexed(Lambda, [phi, theta, r], upper=[0])
display(Lambda_phi_theta_r)

说明 #

• 方案一中，{{}}用于在f-string中转义花括号，确保LaTeX语法结构正确；smp.latex()负责将SymPy符号转换为对应的LaTeX命令。
• 方案二中，upper=[0]参数指定第一个索引为上标，其余索引自动作为下标，完全符合张量符号的书写规范，适合进行张量运算等场景。

内容的提问来源于stack exchange，提问作者CovalentFallenAngel