Я включу сюда решения в режиме inline и display (уравнение):
\documentclass{article}
\begin{document}
$C^+ = CGDE$, so $C$ is not a superkey and $C\to GD$ violates BCNF.
\[
C^+ = CGDE\textrm{, so }C\textrm{ is not a superkey and }C\to GD\textrm{ violates BCNF.}
\]
\end{document}
Это всего лишь наброски, которые вполне могут быть уточнены. Пожалуйста, прокомментируйте далее, чтобы мы вместе могли адаптировать их к вашим потребностям.
Ах, чтобы получить разрыв строки из математического режима в выходном файле, не используйте \\
, как в таблицах, но вставьте пустую строку в твой код!