# Converting word definitions of Pareto-Optimal into math symbols

I'd like to have a mathematical version of the following two definitions just because I remember symbols better than words. But I lack the math prowess to convert them from words to symbols. Can someone assist me?

Def 1:

A feasible allocation is weakly Pareto-optimal if there is no alternative (feasible) allocation such that everyone prefers the alternative to the original.

Def 2:

A feasible allocation is strongly Pareto-optimal if there is no alternative (feasible) allocation such that at least one person prefersthe alternative, and everyone else is indifferent.

Let $\Omega$ be the set of all feasible allocations with an element $\omega \in \Omega$. Consider $I$ agents such that the utility of agent $i$ is described by $u_i(\omega)$.
Definition 1: $\omega \in \Omega$ is weakly Pareto-optimal if $\nexists \omega' \in \Omega$ such that $\forall i$ $u_i(\omega') > u_i(\omega)$. Weak Pareto-optimality is basically just saying that for any other allocation, $\omega'$, in the set of feasible allocations that not everyone can strictly prefer the alternative.
Definition 2: $\omega \in \Omega$ is strongly Pareto-optimal if $\nexists \omega' \in \Omega$ such that $\forall i$ $u_i(\omega') \geq u_i(\omega)$ with strict inequality for at least one $i$. Strong Pareto-optimality is a little stronger in the sense that your allocation must be strictly preferred by some to all other allocations and everyone else can be indifferent.