`\color{#FF0000}{T}\color{#FF7F24}{i}\color{#FFFF00}{t}\color{#7FFF00}{u}\color{#00F5FF}{u}\color{#FF1493}{u}`

`x^2+1>=1>0 AA x`

`-> x^2+1>0` là mệnh đề đúng