# Can I define a symbolic equation where the variables are concatenating?

Hi, Can I define a symbolic equation with variable concatenating?

For example:

let $x \in \mathbb{F}_2$

How can I define the following equation:

$11111x1111 = 2*x + 2$

where the x is a digit in the left number.

(The obvious way is by taking the binary exression of that number i.e $\Sigma_{i=0}^{i=n}2^ib_i$)

If x is in GF(2), it is not a "digit". The equality should work in integers? (The $2x+2$ is maybe either $2$, well $10$, but then... or $6$ ... The number on the left side is bigger.)