Fedora 11，开发代号 Leonidas （雷奥尼达，古斯巴达国王，译者注），正式版已经发布了！Fedora 是一个基于 RPM 的Linux 发行版，是一种开源操作系统，由 Redhat 支持并赞助的 Fedora Project 项目开发。Fedora只包含自由和开源软件。Fedora 11 的新特性包括：Gnome 2.26， KDE 4.2， XFCE 4， RPM 4.7

引入宏包：/usepackage{txfonts}这样的话就能表示：：=这类特殊的数学符号。如果还不行在添加/usepackage{amsmath}/usepackage{amssymb}/usepackage{amsthm}