Unsupervised Learning of Neurosymbolic Encoders