Synthetic CO2 fixation pathways for acetyl-CoA synthesis. (A) rGly pathway coupled FDH. (B) Formolase pathway coupled FDH. (C) SACA pathway coupled FDH and partial formolase path. (D) MCC pathway coupled FDH and partial formolase path. (E) MCG cycle coupled CBB cycle. Abbreviation for enzymes (orange in color): FDH, formate dehydrogenase; FtfL, formate-THF ligase; FchA, 5,10-methenyl-THF cyclohydrolase; MtdA, 5,10-methenyl-THF dehydrogenase; GlyA, serine hydroxymethyl-transferase; SdaA, serine deaminase; PDH, pyruvate dehydrogenase; ACS, acetyl-CoA synthase; ACDH, acetaldehyde dehydrogenase; FLS, formolase; DHAK, dihydroxyacetone kinase; TIM, triose phosphate isomerase; GAPD, glyceraldehyde-3-phosphate dehydrogenase; PGK, 3-phosphoglycerate kinase; PGM, phosphoglycerate mutase; Eno, enolase; PK, pyruvate kinase; GLAS, glycolaldehyde synthase; ACPS, acetyl-phosphate synthase; PTA, phosphate acetyltransferase; HPS, hexulose-6-phosphate synthase; PHI, phosphohexulose isomerase; FPK, fructose-6-phosphate phosphoketolase; TAL, transaldolase; TKT, transketolase; RPE, ribulose 5-phosphate epimerase; RPI, ribose-5 phosphate isomerase; Ppc, phosphoenolpyruvate carboxylase; Mdh, malate dehydrogenase; Mtk, malate thiokinase; Mcl, malyl-CoA lyase; Gcl, glyoxylate carboligase; Tsr, tartronate semialdehyde reductase; Gk, glycerate kinase. Abbreviation for metabolites (green in color): DHA, dihydroxyacetone; DHAP, dihydroxyacetone phosphate; GAP, glyceraldehyde 3-phosphate; PGA, 1,3-biphosphoglycerate; PEP, phosphoenolpyruvate; AcP, acetyl phosphate; H6P, hexulose-6-phosphate; Ru5P, ribulose-5 phosphate; F6P, fructose-6-phosphate; R5P, ribose-5 phosphate; E4P, erythrose-4 phosphate; S7P, sedoheptulose-7 phosphate; X5P, xylose-5 phosphate.