public function __toString() : string { return sprintf('%sx %s', $this->quantifier, $this->element); }
